LNCS607

LNCS607
-D. Kapur (Ed.): Automated Deduction - CADE-11, Proceedings 1992, Subseries LNAI, Springer-Verlag 1992

Acronyms von A bis Z. 2013.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS607 — D. Kapur (Ed.): Automated Deduction CADE 11, Proceedings 1992, Subseries LNAI, Springer Verlag 1992 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”